Hans van Maaren: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

On-Line Control and Optimisation of the Pelleting Process of Animal Feed

de Blank, Henriëtte, Hendrix, Eligius, Litjens, Michael, van Maaren, Hans

Journal:

Journal of the Science of Food and Agriculture

Year:

1997

Language:

english

File:

PDF, 290 KB

english, 1997

2

Generation of classes of robust periodic railway timetables

Michiel A. Odijk, H. Edwin Romeijn, Hans van Maaren

Journal:

Computers & Operations Research

Year:

2006

Language:

english

File:

PDF, 243 KB

english, 2006

3

Improved solutions to the Steiner triple covering problem

Michiel A. Odijk, Hans van Maaren

Journal:

Information Processing Letters

Year:

1998

Language:

english

File:

PDF, 245 KB

english, 1998

4

Solving satisfiability problems using elliptic approximations – effective branching rules

Joost P. Warners, Hans van Maaren

Journal:

Discrete Applied Mathematics

Year:

2000

Language:

english

File:

PDF, 164 KB

english, 2000

5

Bounds and fast approximation algorithms for binary quadratic optimization problems with application to MAX 2SAT

Hans van Maaren, Joost P. Warners

Journal:

Discrete Applied Mathematics

Year:

2000

Language:

english

File:

PDF, 112 KB

english, 2000

6

Preface

Hans van Maaren

Journal:

Discrete Applied Mathematics

Year:

2003

Language:

english

File:

PDF, 60 KB

english, 2003

7

Elliptic approximations of propositional formulae

Hans van Maaren

Journal:

Discrete Applied Mathematics

Year:

1999

Language:

english

File:

PDF, 149 KB

english, 1999

8

Recognition of tractable satisfiability problems through balanced polynomial representations

Joost P. Warners, Hans van Maaren

Journal:

Discrete Applied Mathematics

Year:

2000

Language:

english

File:

PDF, 141 KB

english, 2000

9

Computing an integer point of a simplex with an arbitrary starting homotopy-like simplicial algorithm

Chuangyin Dang, Hans van Maaren

Journal:

Journal of Computational and Applied Mathematics

Year:

2001

Language:

english

File:

PDF, 146 KB

english, 2001

10

Product ranking, budget allocation and monopolistic pricing in a multiproduct firm an application at Nonius, a division of Delft Instruments

Hans van Maaren, Jan Bertus Molenkamp, Henk Jan Reus

Journal:

International Journal of Production Economics

Year:

1997

Language:

english

File:

PDF, 727 KB

english, 1997

11

Correlations between Horn fractions, satisfiability and solver performance for fixed density random 3-CNF instances

Hans van Maaren, Linda van Norden

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2005

Language:

english

File:

PDF, 341 KB

english, 2005

12

A two-phase algorithm for solving a class of hard satisfiability problems

Joost P. Warners, Hans van Maaren

Journal:

Operations Research Letters

Year:

1998

Language:

english

File:

PDF, 125 KB

english, 1998

13

Relaxations of the Satisfiability Problem Using Semidefinite Programming

Etienne de Klerk, Hans van Maaren, Joost P. Warners

Journal:

Journal of Automated Reasoning

Year:

2000

Language:

english

File:

PDF, 234 KB

english, 2000

14

An Arbitrary Starting Variable Dimension Algorithm for Computing an Integer Point of a Simplex

Chuangyin Dang, Hans Van Maaren

Journal:

Computational Optimization and Applications

Year:

1999

Language:

english

File:

PDF, 96 KB

english, 1999

15

Solving Satisfiability Problems Using Elliptic Approximations. A Note on Volumes and Weights

Hans van Maaren, Joost P. Warners

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2003

Language:

english

File:

PDF, 108 KB

english, 2003

16

A Short Note on Some Tractable Cases of the Satisfiability Problem

Hans van Maaren

Journal:

Information and Computation

Year:

2000

Language:

english

File:

PDF, 88 KB

english, 2000

17

A Simplicial Approach to the Determination of an Integer Point of a Simplex

Chuangyin Dang and Hans Van Maaren

Journal:

Mathematics of Operations Research

Year:

1998

Language:

english

File:

PDF, 508 KB

english, 1998

18

A Simplicial Approach to the Determination of an Integer Point of a Simplex

Dang, Chuangyin, van Maaren, Hans

Journal:

Mathematics of Operations Research

Year:

1998

Language:

english

File:

PDF, 228 KB

english, 1998

19

Small percentage of anaphylactic reactions treated with epinephrine during food challenges in Dutch children

van der Valk, Johanna P.M., Berends, Irene, Gerth van Wijk, Roy, Arends, Nicolette. J.T., van Maaren, Maurits S., de Groot, Hans, Wichers, Harry J., Emons, Joyce A.M., Dubois, Anthony E.J., de Jong, N

Journal:

Annals of Allergy, Asthma & Immunology

Year:

2017

Language:

english

File:

PDF, 199 KB

english, 2017

20

Breast cancer subtypes in stage IV inflammatory breast cancer and the effect of resection of the primary tumor on survival

van Uden, D., van Maaren, M., Strobbe, L., Bult, P., Koos, V.D.H., Siesling, S., Hans, D.W., Blanken-Peeters, C.

Journal:

European Journal of Surgical Oncology (EJSO)

Year:

2019

Language:

english

File:

PDF, 54 KB

english, 2019

21

Breast cancer subtypes in stage IV inflammatory breast cancer and the effect of resection of the primary tumor on survival

van Uden, D., van Maaren, M., Strobbe, L., Bult, P., Koos, V.D.H., Siesling, S., Hans, D.W., Blanken-Peeters, C.

Journal:

European Journal of Surgical Oncology (EJSO)

Year:

2019

File:

PDF, 54 KB

2019

22

Parallel SAT Solving using Bit-level Operations1

Heule, Marijn, van Maaren, Hans, Speckenmeyer, Ewald, Li, Chu Min, Manquinho, Vasco, Tacchella, Armando

Journal:

Journal on Satisfiability, Boolean Modeling and Computation

Year:

2008

File:

PDF, 416 KB

2008

23

March_dl: Adding Adaptive Heuristics and a New Branching Strategy

Heule, Marijn J.H., van Maaren, Hans, Le Berre, Daniel, Simon, Laurent

Journal:

Journal on Satisfiability, Boolean Modeling and Computation

Year:

2006

File:

PDF, 203 KB

2006

24

Whose side are you on?1

Heule, Marijn J.H., van Maaren, Hans, Speckenmeyer, Ewald, Li, Chu Min, Manquinho, Vasco, Tacchella, Armando

Journal:

Journal on Satisfiability, Boolean Modeling and Computation

Year:

2008

File:

PDF, 1.41 MB

2008